Linköping University - PDFSEARCH.IO - Document Search Engine

Linköping University
Results: 195

#	Item
101	Development of reference blood concentrations Margareta Reis, associate professor Clinical Pharmacology Linköping University Add to Reading List Source URL: www.sulm.ch Language: English - Date: 2013-10-23 12:25:48 Mood disorders Bipolar spectrum Anxiety disorders Psychopathology Mental disorder Major depressive disorder Antidepressant Suicide Obsessive–compulsive disorder Psychiatry Emotion Abnormal psychology
102	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
103	Linköping University Electronic Press Kapitel I bok Att utveckla ledarskap för lärande: är det möjligt? Peter Nilsson Add to Reading List Source URL: liu.diva-portal.org Language: Swedish - Date: 2014-09-25 05:26:44
104	An Integrated Discourse Model for a Case-Based Reasoning Dialogue System Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:20:46 Fiction Applied linguistics Critical thinking Semantics Discourse analysis Dialogue Like Case-based reasoning Discourse Linguistics Sociolinguistics Science
105	Towards a Robotic Dialogue System with Learning and Planning Capabilities Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:23:56 Inductive reasoning Reasoning Multimodal interaction Rhetoric Robotics Case-based reasoning Dialogue Dialog system Robot Artificial intelligence Fiction Science
106	LTHs 7:e Pedagogiska Inspirationskonferens, 30 augusti[removed]Pedagogical Experiences of Competitive Elements in an Algorithms Course Fredrik Heintz and Tommy Färnqvist, Linköping University, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-01-15 11:40:24 International Mathematical Olympiad Mathematics competitions University-preparatory schools
107	Reasoning about A c t i o n in Polynomial T i m e T h o m a s D r a k e n g r e n and M a r c u s B j a r e l a n d Department of Computer and Information Science Link6ping University, S[removed]Linkoping, Sweden email: { Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:33:24 Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation P-complete Temporal logic Frame problem Cook–Levin theorem Theoretical computer science Applied mathematics Mathematics
108	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax
109	Planning as Heuristic Search for Incremental Fault Diagnosis and Repair Håkan Warnquist∗ and Jonas Kvarnström and Patrick Doherty Dept. of Computer and Information Science Linköping University SE[removed]Linköping, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:49:14 Markov processes Partially observable Markov decision process Systems theory On-board diagnostics Economic model Reliability engineering Statistics Problem solving Troubleshooting
110	Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas,* * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:09 Philosophical logic Predicate logic Propositional calculus Metalogic First-order logic FO Modal logic Propositional variable Closed world assumption Logic Mathematical logic Model theory